CS Communication - PDFSEARCH.IO - Document Search Engine

CS Communication
Results: 1405

#	Item
941	bs_bs_banner Transactions in GIS, 2012, 16(4): 455–476 Research Article Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 14:52:12 Data Science Information science Knowledge representation Technical communication Web Ontology Language Geographic information system Semantic matching Upper ontology Ontology Information Semantic Web
942	Matching Formal and Informal Geospatial Ontologies Heshan Du, Natasha Alechina, Mike Jackson and Glen Hart Abstract The rapid development of crowd-sourcing or volunteered geographic information both challenges and provid Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 14:52:38 Science Semantic Web Information science Technical communication Upper ontology WordNet Semantic integration Geographic information system Semantic matching Ontology Information Knowledge representation
943	aamas08-communication.dvi Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Lie algebras Symbol Constructible universe Net
944	Microsoft Word - sosp-wip.doc Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-04-01 17:03:56 Application programming interfaces Component Object Model Component-based software engineering Object-oriented programming X Window System Software Computing Inter-process communication
945	research highlights DOI:[removed][removed]Scalable Synchronous Queues By William N. Scherer III, Doug Lea, and Michael L. Scott Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2009-04-23 12:16:16 Computer programming Abstract data types Scheduling algorithms Inter-process communication Monitor Producer-consumer problem FIFO Non-blocking algorithm Semaphore Concurrency control Computing Concurrent computing
946	THE COST OF THE “S” IN HTTPS David Naylor Peter Steenkiste Alessandro Finamore Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-12-03 06:11:22 Network architecture OSI protocols Transmission Control Protocol HTTP Secure Traffic flow Computing Cryptographic protocols Secure communication
947	Verifying time, memory and communication bounds in systems of reasoning agents Natasha Alechina, Brian Logan, Nguyen Hoang Nga and Abdur Rakib∗ School of Computer Science University of Nottingham Nottingham NG8 1BB, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Deduction Propositional calculus Mathematical logic Artificial intelligence Logical syntax Epistemic modal logic Reasoning system Entailment Formula Logic Science Mathematics
948	Collective and Individual Mental Maps of the City in Social Awareness Streams Raz Schwartz and Mor Naaman Rutgers School of Communication and Information {raz.schwartz, mor}@rutgers.edu ABSTRACT Add to Reading List Source URL: www-users.cs.umn.edu Language: English - Date: 2013-04-10 21:19:54 Geographic information systems Geography SAS Science Map Geo Cartography Business Statistics
949	ExpressionView file format G´abor Cs´ardi May 26, 2010 Contents 1 Introduction Add to Reading List Source URL: www2.unil.ch Language: English - Date: 2010-05-26 14:29:41 Knowledge representation Technical communication Microarrays Java enterprise platform Bioinformatics XML Schema Gene expression profiling WAR file format Gene Ontology Computing Information Data
950	Johnny 2: A User Test of Key Continuity Management with S/MIME and Outlook Express Simson L. Garfinkel Robert C. Miller Add to Reading List Source URL: cups.cs.cmu.edu Language: English - Date: 2005-05-30 16:31:14 Internet S/MIME Outlook Express MIME Secure messaging Hotmail Public-key cryptography Man-in-the-middle attack IBM Lotus Notes Email Computing Computer-mediated communication

UPDATE